(1) CpxTrsMatchBoundsProof (EQUIVALENT transformation)
A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 2.
The certificate found is represented by the following graph.
Start state: 1392
Accept states: [1393]
Transitions:
1392→1393[0_1|0]
1392→1392[1_1|0, 2_1|0]
1392→1396[2_1|1]
1392→1405[2_1|1]
1392→1417[2_1|1]
1392→1432[2_1|1]
1392→1450[2_1|1]
1392→1471[2_1|1]
1392→1495[2_1|1]
1396→1397[1_1|1]
1397→1398[0_1|1]
1398→1399[2_1|1]
1399→1400[1_1|1]
1400→1401[0_1|1]
1401→1402[1_1|1]
1402→1403[1_1|1]
1403→1404[2_1|1]
1404→1393[1_1|1]
1404→1398[1_1|1]
1404→1407[1_1|1]
1404→1419[1_1|1]
1404→1434[1_1|1]
1404→1452[1_1|1]
1404→1473[1_1|1]
1404→1497[1_1|1]
1404→1526[2_1|2]
1404→1535[2_1|2]
1404→1547[2_1|2]
1404→1562[2_1|2]
1404→1580[2_1|2]
1404→1601[2_1|2]
1404→1625[2_1|2]
1405→1406[1_1|1]
1406→1407[0_1|1]
1407→1408[2_1|1]
1408→1409[1_1|1]
1409→1410[0_1|1]
1410→1411[2_1|1]
1411→1412[1_1|1]
1412→1413[0_1|1]
1413→1414[1_1|1]
1414→1415[1_1|1]
1415→1416[2_1|1]
1416→1393[1_1|1]
1416→1398[1_1|1]
1416→1407[1_1|1]
1416→1419[1_1|1]
1416→1434[1_1|1]
1416→1452[1_1|1]
1416→1473[1_1|1]
1416→1497[1_1|1]
1416→1526[2_1|2]
1416→1535[2_1|2]
1416→1547[2_1|2]
1416→1562[2_1|2]
1416→1580[2_1|2]
1416→1601[2_1|2]
1416→1625[2_1|2]
1417→1418[1_1|1]
1418→1419[0_1|1]
1419→1420[2_1|1]
1420→1421[1_1|1]
1421→1422[0_1|1]
1422→1423[2_1|1]
1423→1424[1_1|1]
1424→1425[0_1|1]
1425→1426[2_1|1]
1426→1427[1_1|1]
1427→1428[0_1|1]
1428→1429[1_1|1]
1429→1430[1_1|1]
1430→1431[2_1|1]
1431→1393[1_1|1]
1431→1398[1_1|1]
1431→1407[1_1|1]
1431→1419[1_1|1]
1431→1434[1_1|1]
1431→1452[1_1|1]
1431→1473[1_1|1]
1431→1497[1_1|1]
1431→1526[2_1|2]
1431→1535[2_1|2]
1431→1547[2_1|2]
1431→1562[2_1|2]
1431→1580[2_1|2]
1431→1601[2_1|2]
1431→1625[2_1|2]
1432→1433[1_1|1]
1433→1434[0_1|1]
1434→1435[2_1|1]
1435→1436[1_1|1]
1436→1437[0_1|1]
1437→1438[2_1|1]
1438→1439[1_1|1]
1439→1440[0_1|1]
1440→1441[2_1|1]
1441→1442[1_1|1]
1442→1443[0_1|1]
1443→1444[2_1|1]
1444→1445[1_1|1]
1445→1446[0_1|1]
1446→1447[1_1|1]
1447→1448[1_1|1]
1448→1449[2_1|1]
1449→1393[1_1|1]
1449→1398[1_1|1]
1449→1407[1_1|1]
1449→1419[1_1|1]
1449→1434[1_1|1]
1449→1452[1_1|1]
1449→1473[1_1|1]
1449→1497[1_1|1]
1449→1526[2_1|2]
1449→1535[2_1|2]
1449→1547[2_1|2]
1449→1562[2_1|2]
1449→1580[2_1|2]
1449→1601[2_1|2]
1449→1625[2_1|2]
1450→1451[1_1|1]
1451→1452[0_1|1]
1452→1453[2_1|1]
1453→1454[1_1|1]
1454→1455[0_1|1]
1455→1456[2_1|1]
1456→1457[1_1|1]
1457→1458[0_1|1]
1458→1459[2_1|1]
1459→1460[1_1|1]
1460→1461[0_1|1]
1461→1462[2_1|1]
1462→1463[1_1|1]
1463→1464[0_1|1]
1464→1465[2_1|1]
1465→1466[1_1|1]
1466→1467[0_1|1]
1467→1468[1_1|1]
1468→1469[1_1|1]
1469→1470[2_1|1]
1470→1393[1_1|1]
1470→1398[1_1|1]
1470→1407[1_1|1]
1470→1419[1_1|1]
1470→1434[1_1|1]
1470→1452[1_1|1]
1470→1473[1_1|1]
1470→1497[1_1|1]
1470→1526[2_1|2]
1470→1535[2_1|2]
1470→1547[2_1|2]
1470→1562[2_1|2]
1470→1580[2_1|2]
1470→1601[2_1|2]
1470→1625[2_1|2]
1471→1472[1_1|1]
1472→1473[0_1|1]
1473→1474[2_1|1]
1474→1475[1_1|1]
1475→1476[0_1|1]
1476→1477[2_1|1]
1477→1478[1_1|1]
1478→1479[0_1|1]
1479→1480[2_1|1]
1480→1481[1_1|1]
1481→1482[0_1|1]
1482→1483[2_1|1]
1483→1484[1_1|1]
1484→1485[0_1|1]
1485→1486[2_1|1]
1486→1487[1_1|1]
1487→1488[0_1|1]
1488→1489[2_1|1]
1489→1490[1_1|1]
1490→1491[0_1|1]
1491→1492[1_1|1]
1492→1493[1_1|1]
1493→1494[2_1|1]
1494→1393[1_1|1]
1494→1398[1_1|1]
1494→1407[1_1|1]
1494→1419[1_1|1]
1494→1434[1_1|1]
1494→1452[1_1|1]
1494→1473[1_1|1]
1494→1497[1_1|1]
1494→1526[2_1|2]
1494→1535[2_1|2]
1494→1547[2_1|2]
1494→1562[2_1|2]
1494→1580[2_1|2]
1494→1601[2_1|2]
1494→1625[2_1|2]
1495→1496[1_1|1]
1496→1497[0_1|1]
1497→1498[2_1|1]
1498→1499[1_1|1]
1499→1500[0_1|1]
1500→1501[2_1|1]
1501→1502[1_1|1]
1502→1503[0_1|1]
1503→1504[2_1|1]
1504→1505[1_1|1]
1505→1506[0_1|1]
1506→1507[2_1|1]
1507→1508[1_1|1]
1508→1509[0_1|1]
1509→1510[2_1|1]
1510→1511[1_1|1]
1511→1512[0_1|1]
1512→1513[2_1|1]
1513→1514[1_1|1]
1514→1515[0_1|1]
1515→1516[2_1|1]
1516→1517[1_1|1]
1517→1518[0_1|1]
1518→1519[1_1|1]
1519→1520[1_1|1]
1520→1521[2_1|1]
1521→1393[1_1|1]
1521→1398[1_1|1]
1521→1407[1_1|1]
1521→1419[1_1|1]
1521→1434[1_1|1]
1521→1452[1_1|1]
1521→1473[1_1|1]
1521→1497[1_1|1]
1521→1526[2_1|2]
1521→1535[2_1|2]
1521→1547[2_1|2]
1521→1562[2_1|2]
1521→1580[2_1|2]
1521→1601[2_1|2]
1521→1625[2_1|2]
1526→1527[1_1|2]
1527→1528[0_1|2]
1528→1529[2_1|2]
1529→1530[1_1|2]
1530→1531[0_1|2]
1531→1532[1_1|2]
1532→1533[1_1|2]
1533→1534[2_1|2]
1534→1401[1_1|2]
1534→1410[1_1|2]
1534→1422[1_1|2]
1534→1437[1_1|2]
1534→1455[1_1|2]
1534→1476[1_1|2]
1534→1500[1_1|2]
1534→1665[2_1|2]
1534→1674[2_1|2]
1534→1686[2_1|2]
1534→1701[2_1|2]
1534→1719[2_1|2]
1534→1741[2_1|2]
1534→1765[2_1|2]
1535→1536[1_1|2]
1536→1537[0_1|2]
1537→1538[2_1|2]
1538→1539[1_1|2]
1539→1540[0_1|2]
1540→1541[2_1|2]
1541→1542[1_1|2]
1542→1543[0_1|2]
1543→1544[1_1|2]
1544→1545[1_1|2]
1545→1546[2_1|2]
1546→1401[1_1|2]
1546→1410[1_1|2]
1546→1422[1_1|2]
1546→1437[1_1|2]
1546→1455[1_1|2]
1546→1476[1_1|2]
1546→1500[1_1|2]
1546→1665[2_1|2]
1546→1674[2_1|2]
1546→1686[2_1|2]
1546→1701[2_1|2]
1546→1719[2_1|2]
1546→1741[2_1|2]
1546→1765[2_1|2]
1547→1548[1_1|2]
1548→1549[0_1|2]
1549→1550[2_1|2]
1550→1551[1_1|2]
1551→1552[0_1|2]
1552→1553[2_1|2]
1553→1554[1_1|2]
1554→1555[0_1|2]
1555→1556[2_1|2]
1556→1557[1_1|2]
1557→1558[0_1|2]
1558→1559[1_1|2]
1559→1560[1_1|2]
1560→1561[2_1|2]
1561→1401[1_1|2]
1561→1410[1_1|2]
1561→1422[1_1|2]
1561→1437[1_1|2]
1561→1455[1_1|2]
1561→1476[1_1|2]
1561→1500[1_1|2]
1561→1665[2_1|2]
1561→1674[2_1|2]
1561→1686[2_1|2]
1561→1701[2_1|2]
1561→1719[2_1|2]
1561→1741[2_1|2]
1561→1765[2_1|2]
1562→1563[1_1|2]
1563→1564[0_1|2]
1564→1565[2_1|2]
1565→1566[1_1|2]
1566→1567[0_1|2]
1567→1568[2_1|2]
1568→1569[1_1|2]
1569→1570[0_1|2]
1570→1571[2_1|2]
1571→1572[1_1|2]
1572→1573[0_1|2]
1573→1574[2_1|2]
1574→1575[1_1|2]
1575→1576[0_1|2]
1576→1577[1_1|2]
1577→1578[1_1|2]
1578→1579[2_1|2]
1579→1401[1_1|2]
1579→1410[1_1|2]
1579→1422[1_1|2]
1579→1437[1_1|2]
1579→1455[1_1|2]
1579→1476[1_1|2]
1579→1500[1_1|2]
1579→1665[2_1|2]
1579→1674[2_1|2]
1579→1686[2_1|2]
1579→1701[2_1|2]
1579→1719[2_1|2]
1579→1741[2_1|2]
1579→1765[2_1|2]
1580→1581[1_1|2]
1581→1582[0_1|2]
1582→1583[2_1|2]
1583→1584[1_1|2]
1584→1585[0_1|2]
1585→1586[2_1|2]
1586→1587[1_1|2]
1587→1588[0_1|2]
1588→1589[2_1|2]
1589→1590[1_1|2]
1590→1591[0_1|2]
1591→1592[2_1|2]
1592→1593[1_1|2]
1593→1594[0_1|2]
1594→1595[2_1|2]
1595→1596[1_1|2]
1596→1597[0_1|2]
1597→1598[1_1|2]
1598→1599[1_1|2]
1599→1600[2_1|2]
1600→1401[1_1|2]
1600→1410[1_1|2]
1600→1422[1_1|2]
1600→1437[1_1|2]
1600→1455[1_1|2]
1600→1476[1_1|2]
1600→1500[1_1|2]
1600→1665[2_1|2]
1600→1674[2_1|2]
1600→1686[2_1|2]
1600→1701[2_1|2]
1600→1719[2_1|2]
1600→1741[2_1|2]
1600→1765[2_1|2]
1601→1602[1_1|2]
1602→1603[0_1|2]
1603→1604[2_1|2]
1604→1605[1_1|2]
1605→1606[0_1|2]
1606→1607[2_1|2]
1607→1608[1_1|2]
1608→1609[0_1|2]
1609→1610[2_1|2]
1610→1611[1_1|2]
1611→1612[0_1|2]
1612→1613[2_1|2]
1613→1614[1_1|2]
1614→1615[0_1|2]
1615→1616[2_1|2]
1616→1617[1_1|2]
1617→1618[0_1|2]
1618→1619[2_1|2]
1619→1620[1_1|2]
1620→1621[0_1|2]
1621→1622[1_1|2]
1622→1623[1_1|2]
1623→1624[2_1|2]
1624→1401[1_1|2]
1624→1410[1_1|2]
1624→1422[1_1|2]
1624→1437[1_1|2]
1624→1455[1_1|2]
1624→1476[1_1|2]
1624→1500[1_1|2]
1624→1665[2_1|2]
1624→1674[2_1|2]
1624→1686[2_1|2]
1624→1701[2_1|2]
1624→1719[2_1|2]
1624→1741[2_1|2]
1624→1765[2_1|2]
1625→1626[1_1|2]
1626→1627[0_1|2]
1627→1628[2_1|2]
1628→1629[1_1|2]
1629→1630[0_1|2]
1630→1631[2_1|2]
1631→1632[1_1|2]
1632→1633[0_1|2]
1633→1634[2_1|2]
1634→1635[1_1|2]
1635→1636[0_1|2]
1636→1637[2_1|2]
1637→1638[1_1|2]
1638→1639[0_1|2]
1639→1640[2_1|2]
1640→1641[1_1|2]
1641→1642[0_1|2]
1642→1643[2_1|2]
1643→1644[1_1|2]
1644→1645[0_1|2]
1645→1646[2_1|2]
1646→1647[1_1|2]
1647→1648[0_1|2]
1648→1649[1_1|2]
1649→1650[1_1|2]
1650→1651[2_1|2]
1651→1401[1_1|2]
1651→1410[1_1|2]
1651→1422[1_1|2]
1651→1437[1_1|2]
1651→1455[1_1|2]
1651→1476[1_1|2]
1651→1500[1_1|2]
1651→1665[2_1|2]
1651→1674[2_1|2]
1651→1686[2_1|2]
1651→1701[2_1|2]
1651→1719[2_1|2]
1651→1741[2_1|2]
1651→1765[2_1|2]
1665→1666[1_1|2]
1666→1667[0_1|2]
1667→1668[2_1|2]
1668→1669[1_1|2]
1669→1670[0_1|2]
1670→1671[1_1|2]
1671→1672[1_1|2]
1672→1673[2_1|2]
1673→1413[1_1|2]
1673→1425[1_1|2]
1673→1440[1_1|2]
1673→1458[1_1|2]
1673→1479[1_1|2]
1673→1503[1_1|2]
1673→1811[2_1|2]
1673→1820[2_1|2]
1673→1832[2_1|2]
1673→1847[2_1|2]
1673→1865[2_1|2]
1673→1886[2_1|2]
1673→1910[2_1|2]
1674→1675[1_1|2]
1675→1676[0_1|2]
1676→1677[2_1|2]
1677→1678[1_1|2]
1678→1679[0_1|2]
1679→1680[2_1|2]
1680→1681[1_1|2]
1681→1682[0_1|2]
1682→1683[1_1|2]
1683→1684[1_1|2]
1684→1685[2_1|2]
1685→1413[1_1|2]
1685→1425[1_1|2]
1685→1440[1_1|2]
1685→1458[1_1|2]
1685→1479[1_1|2]
1685→1503[1_1|2]
1685→1811[2_1|2]
1685→1820[2_1|2]
1685→1832[2_1|2]
1685→1847[2_1|2]
1685→1865[2_1|2]
1685→1886[2_1|2]
1685→1910[2_1|2]
1686→1687[1_1|2]
1687→1688[0_1|2]
1688→1689[2_1|2]
1689→1690[1_1|2]
1690→1691[0_1|2]
1691→1692[2_1|2]
1692→1693[1_1|2]
1693→1694[0_1|2]
1694→1695[2_1|2]
1695→1696[1_1|2]
1696→1697[0_1|2]
1697→1698[1_1|2]
1698→1699[1_1|2]
1699→1700[2_1|2]
1700→1413[1_1|2]
1700→1425[1_1|2]
1700→1440[1_1|2]
1700→1458[1_1|2]
1700→1479[1_1|2]
1700→1503[1_1|2]
1700→1811[2_1|2]
1700→1820[2_1|2]
1700→1832[2_1|2]
1700→1847[2_1|2]
1700→1865[2_1|2]
1700→1886[2_1|2]
1700→1910[2_1|2]
1701→1702[1_1|2]
1702→1703[0_1|2]
1703→1704[2_1|2]
1704→1705[1_1|2]
1705→1706[0_1|2]
1706→1707[2_1|2]
1707→1708[1_1|2]
1708→1709[0_1|2]
1709→1710[2_1|2]
1710→1711[1_1|2]
1711→1712[0_1|2]
1712→1713[2_1|2]
1713→1714[1_1|2]
1714→1715[0_1|2]
1715→1716[1_1|2]
1716→1717[1_1|2]
1717→1718[2_1|2]
1718→1413[1_1|2]
1718→1425[1_1|2]
1718→1440[1_1|2]
1718→1458[1_1|2]
1718→1479[1_1|2]
1718→1503[1_1|2]
1718→1811[2_1|2]
1718→1820[2_1|2]
1718→1832[2_1|2]
1718→1847[2_1|2]
1718→1865[2_1|2]
1718→1886[2_1|2]
1718→1910[2_1|2]
1719→1720[1_1|2]
1720→1721[0_1|2]
1721→1722[2_1|2]
1722→1723[1_1|2]
1723→1724[0_1|2]
1724→1725[2_1|2]
1725→1726[1_1|2]
1726→1727[0_1|2]
1727→1728[2_1|2]
1728→1729[1_1|2]
1729→1730[0_1|2]
1730→1731[2_1|2]
1731→1732[1_1|2]
1732→1733[0_1|2]
1733→1734[2_1|2]
1734→1736[1_1|2]
1736→1737[0_1|2]
1737→1738[1_1|2]
1738→1739[1_1|2]
1739→1740[2_1|2]
1740→1413[1_1|2]
1740→1425[1_1|2]
1740→1440[1_1|2]
1740→1458[1_1|2]
1740→1479[1_1|2]
1740→1503[1_1|2]
1740→1811[2_1|2]
1740→1820[2_1|2]
1740→1832[2_1|2]
1740→1847[2_1|2]
1740→1865[2_1|2]
1740→1886[2_1|2]
1740→1910[2_1|2]
1741→1742[1_1|2]
1742→1743[0_1|2]
1743→1744[2_1|2]
1744→1745[1_1|2]
1745→1746[0_1|2]
1746→1747[2_1|2]
1747→1748[1_1|2]
1748→1749[0_1|2]
1749→1750[2_1|2]
1750→1751[1_1|2]
1751→1752[0_1|2]
1752→1753[2_1|2]
1753→1754[1_1|2]
1754→1755[0_1|2]
1755→1756[2_1|2]
1756→1757[1_1|2]
1757→1758[0_1|2]
1758→1759[2_1|2]
1759→1760[1_1|2]
1760→1761[0_1|2]
1761→1762[1_1|2]
1762→1763[1_1|2]
1763→1764[2_1|2]
1764→1413[1_1|2]
1764→1425[1_1|2]
1764→1440[1_1|2]
1764→1458[1_1|2]
1764→1479[1_1|2]
1764→1503[1_1|2]
1764→1811[2_1|2]
1764→1820[2_1|2]
1764→1832[2_1|2]
1764→1847[2_1|2]
1764→1865[2_1|2]
1764→1886[2_1|2]
1764→1910[2_1|2]
1765→1766[1_1|2]
1766→1767[0_1|2]
1767→1768[2_1|2]
1768→1769[1_1|2]
1769→1770[0_1|2]
1770→1771[2_1|2]
1771→1772[1_1|2]
1772→1773[0_1|2]
1773→1774[2_1|2]
1774→1775[1_1|2]
1775→1776[0_1|2]
1776→1777[2_1|2]
1777→1778[1_1|2]
1778→1779[0_1|2]
1779→1780[2_1|2]
1780→1781[1_1|2]
1781→1782[0_1|2]
1782→1783[2_1|2]
1783→1784[1_1|2]
1784→1785[0_1|2]
1785→1786[2_1|2]
1786→1787[1_1|2]
1787→1788[0_1|2]
1788→1789[1_1|2]
1789→1790[1_1|2]
1790→1791[2_1|2]
1791→1413[1_1|2]
1791→1425[1_1|2]
1791→1440[1_1|2]
1791→1458[1_1|2]
1791→1479[1_1|2]
1791→1503[1_1|2]
1791→1811[2_1|2]
1791→1820[2_1|2]
1791→1832[2_1|2]
1791→1847[2_1|2]
1791→1865[2_1|2]
1791→1886[2_1|2]
1791→1910[2_1|2]
1811→1812[1_1|2]
1812→1813[0_1|2]
1813→1814[2_1|2]
1814→1815[1_1|2]
1815→1816[0_1|2]
1816→1817[1_1|2]
1817→1818[1_1|2]
1818→1819[2_1|2]
1819→1428[1_1|2]
1819→1443[1_1|2]
1819→1461[1_1|2]
1819→1482[1_1|2]
1819→1506[1_1|2]
1819→1939[2_1|2]
1819→1948[2_1|2]
1819→1960[2_1|2]
1819→1975[2_1|2]
1819→1993[2_1|2]
1819→2014[2_1|2]
1819→2038[2_1|2]
1820→1821[1_1|2]
1821→1822[0_1|2]
1822→1823[2_1|2]
1823→1824[1_1|2]
1824→1825[0_1|2]
1825→1826[2_1|2]
1826→1827[1_1|2]
1827→1828[0_1|2]
1828→1829[1_1|2]
1829→1830[1_1|2]
1830→1831[2_1|2]
1831→1428[1_1|2]
1831→1443[1_1|2]
1831→1461[1_1|2]
1831→1482[1_1|2]
1831→1506[1_1|2]
1831→1939[2_1|2]
1831→1948[2_1|2]
1831→1960[2_1|2]
1831→1975[2_1|2]
1831→1993[2_1|2]
1831→2014[2_1|2]
1831→2038[2_1|2]
1832→1833[1_1|2]
1833→1834[0_1|2]
1834→1835[2_1|2]
1835→1836[1_1|2]
1836→1837[0_1|2]
1837→1838[2_1|2]
1838→1839[1_1|2]
1839→1840[0_1|2]
1840→1841[2_1|2]
1841→1842[1_1|2]
1842→1843[0_1|2]
1843→1844[1_1|2]
1844→1845[1_1|2]
1845→1846[2_1|2]
1846→1428[1_1|2]
1846→1443[1_1|2]
1846→1461[1_1|2]
1846→1482[1_1|2]
1846→1506[1_1|2]
1846→1939[2_1|2]
1846→1948[2_1|2]
1846→1960[2_1|2]
1846→1975[2_1|2]
1846→1993[2_1|2]
1846→2014[2_1|2]
1846→2038[2_1|2]
1847→1848[1_1|2]
1848→1849[0_1|2]
1849→1850[2_1|2]
1850→1851[1_1|2]
1851→1852[0_1|2]
1852→1853[2_1|2]
1853→1854[1_1|2]
1854→1855[0_1|2]
1855→1856[2_1|2]
1856→1857[1_1|2]
1857→1858[0_1|2]
1858→1859[2_1|2]
1859→1860[1_1|2]
1860→1861[0_1|2]
1861→1862[1_1|2]
1862→1863[1_1|2]
1863→1864[2_1|2]
1864→1428[1_1|2]
1864→1443[1_1|2]
1864→1461[1_1|2]
1864→1482[1_1|2]
1864→1506[1_1|2]
1864→1939[2_1|2]
1864→1948[2_1|2]
1864→1960[2_1|2]
1864→1975[2_1|2]
1864→1993[2_1|2]
1864→2014[2_1|2]
1864→2038[2_1|2]
1865→1866[1_1|2]
1866→1867[0_1|2]
1867→1868[2_1|2]
1868→1869[1_1|2]
1869→1870[0_1|2]
1870→1871[2_1|2]
1871→1872[1_1|2]
1872→1873[0_1|2]
1873→1874[2_1|2]
1874→1875[1_1|2]
1875→1876[0_1|2]
1876→1877[2_1|2]
1877→1878[1_1|2]
1878→1879[0_1|2]
1879→1880[2_1|2]
1880→1881[1_1|2]
1881→1882[0_1|2]
1882→1883[1_1|2]
1883→1884[1_1|2]
1884→1885[2_1|2]
1885→1428[1_1|2]
1885→1443[1_1|2]
1885→1461[1_1|2]
1885→1482[1_1|2]
1885→1506[1_1|2]
1885→1939[2_1|2]
1885→1948[2_1|2]
1885→1960[2_1|2]
1885→1975[2_1|2]
1885→1993[2_1|2]
1885→2014[2_1|2]
1885→2038[2_1|2]
1886→1887[1_1|2]
1887→1888[0_1|2]
1888→1889[2_1|2]
1889→1890[1_1|2]
1890→1891[0_1|2]
1891→1892[2_1|2]
1892→1893[1_1|2]
1893→1894[0_1|2]
1894→1895[2_1|2]
1895→1896[1_1|2]
1896→1897[0_1|2]
1897→1898[2_1|2]
1898→1899[1_1|2]
1899→1900[0_1|2]
1900→1901[2_1|2]
1901→1902[1_1|2]
1902→1903[0_1|2]
1903→1904[2_1|2]
1904→1905[1_1|2]
1905→1906[0_1|2]
1906→1907[1_1|2]
1907→1908[1_1|2]
1908→1909[2_1|2]
1909→1428[1_1|2]
1909→1443[1_1|2]
1909→1461[1_1|2]
1909→1482[1_1|2]
1909→1506[1_1|2]
1909→1939[2_1|2]
1909→1948[2_1|2]
1909→1960[2_1|2]
1909→1975[2_1|2]
1909→1993[2_1|2]
1909→2014[2_1|2]
1909→2038[2_1|2]
1910→1911[1_1|2]
1911→1912[0_1|2]
1912→1913[2_1|2]
1913→1914[1_1|2]
1914→1915[0_1|2]
1915→1916[2_1|2]
1916→1917[1_1|2]
1917→1918[0_1|2]
1918→1919[2_1|2]
1919→1920[1_1|2]
1920→1921[0_1|2]
1921→1922[2_1|2]
1922→1923[1_1|2]
1923→1924[0_1|2]
1924→1925[2_1|2]
1925→1926[1_1|2]
1926→1927[0_1|2]
1927→1928[2_1|2]
1928→1929[1_1|2]
1929→1930[0_1|2]
1930→1931[2_1|2]
1931→1932[1_1|2]
1932→1933[0_1|2]
1933→1934[1_1|2]
1934→1935[1_1|2]
1935→1936[2_1|2]
1936→1428[1_1|2]
1936→1443[1_1|2]
1936→1461[1_1|2]
1936→1482[1_1|2]
1936→1506[1_1|2]
1936→1939[2_1|2]
1936→1948[2_1|2]
1936→1960[2_1|2]
1936→1975[2_1|2]
1936→1993[2_1|2]
1936→2014[2_1|2]
1936→2038[2_1|2]
1939→1940[1_1|2]
1940→1941[0_1|2]
1941→1942[2_1|2]
1942→1943[1_1|2]
1943→1944[0_1|2]
1944→1945[1_1|2]
1945→1946[1_1|2]
1946→1947[2_1|2]
1947→1446[1_1|2]
1947→1464[1_1|2]
1947→1485[1_1|2]
1947→1509[1_1|2]
1947→2067[2_1|2]
1947→2076[2_1|2]
1947→2088[2_1|2]
1947→2103[2_1|2]
1947→2121[2_1|2]
1947→2142[2_1|2]
1947→2166[2_1|2]
1948→1949[1_1|2]
1949→1950[0_1|2]
1950→1951[2_1|2]
1951→1952[1_1|2]
1952→1953[0_1|2]
1953→1954[2_1|2]
1954→1955[1_1|2]
1955→1956[0_1|2]
1956→1957[1_1|2]
1957→1958[1_1|2]
1958→1959[2_1|2]
1959→1446[1_1|2]
1959→1464[1_1|2]
1959→1485[1_1|2]
1959→1509[1_1|2]
1959→2067[2_1|2]
1959→2076[2_1|2]
1959→2088[2_1|2]
1959→2103[2_1|2]
1959→2121[2_1|2]
1959→2142[2_1|2]
1959→2166[2_1|2]
1960→1961[1_1|2]
1961→1962[0_1|2]
1962→1963[2_1|2]
1963→1964[1_1|2]
1964→1965[0_1|2]
1965→1966[2_1|2]
1966→1967[1_1|2]
1967→1968[0_1|2]
1968→1969[2_1|2]
1969→1970[1_1|2]
1970→1971[0_1|2]
1971→1972[1_1|2]
1972→1973[1_1|2]
1973→1974[2_1|2]
1974→1446[1_1|2]
1974→1464[1_1|2]
1974→1485[1_1|2]
1974→1509[1_1|2]
1974→2067[2_1|2]
1974→2076[2_1|2]
1974→2088[2_1|2]
1974→2103[2_1|2]
1974→2121[2_1|2]
1974→2142[2_1|2]
1974→2166[2_1|2]
1975→1976[1_1|2]
1976→1977[0_1|2]
1977→1978[2_1|2]
1978→1979[1_1|2]
1979→1980[0_1|2]
1980→1981[2_1|2]
1981→1982[1_1|2]
1982→1983[0_1|2]
1983→1984[2_1|2]
1984→1985[1_1|2]
1985→1986[0_1|2]
1986→1987[2_1|2]
1987→1988[1_1|2]
1988→1989[0_1|2]
1989→1990[1_1|2]
1990→1991[1_1|2]
1991→1992[2_1|2]
1992→1446[1_1|2]
1992→1464[1_1|2]
1992→1485[1_1|2]
1992→1509[1_1|2]
1992→2067[2_1|2]
1992→2076[2_1|2]
1992→2088[2_1|2]
1992→2103[2_1|2]
1992→2121[2_1|2]
1992→2142[2_1|2]
1992→2166[2_1|2]
1993→1994[1_1|2]
1994→1995[0_1|2]
1995→1996[2_1|2]
1996→1997[1_1|2]
1997→1998[0_1|2]
1998→1999[2_1|2]
1999→2000[1_1|2]
2000→2001[0_1|2]
2001→2002[2_1|2]
2002→2003[1_1|2]
2003→2004[0_1|2]
2004→2005[2_1|2]
2005→2006[1_1|2]
2006→2007[0_1|2]
2007→2008[2_1|2]
2008→2009[1_1|2]
2009→2010[0_1|2]
2010→2011[1_1|2]
2011→2012[1_1|2]
2012→2013[2_1|2]
2013→1446[1_1|2]
2013→1464[1_1|2]
2013→1485[1_1|2]
2013→1509[1_1|2]
2013→2067[2_1|2]
2013→2076[2_1|2]
2013→2088[2_1|2]
2013→2103[2_1|2]
2013→2121[2_1|2]
2013→2142[2_1|2]
2013→2166[2_1|2]
2014→2015[1_1|2]
2015→2016[0_1|2]
2016→2017[2_1|2]
2017→2018[1_1|2]
2018→2019[0_1|2]
2019→2020[2_1|2]
2020→2021[1_1|2]
2021→2022[0_1|2]
2022→2023[2_1|2]
2023→2024[1_1|2]
2024→2025[0_1|2]
2025→2026[2_1|2]
2026→2027[1_1|2]
2027→2028[0_1|2]
2028→2029[2_1|2]
2029→2030[1_1|2]
2030→2031[0_1|2]
2031→2032[2_1|2]
2032→2033[1_1|2]
2033→2034[0_1|2]
2034→2035[1_1|2]
2035→2036[1_1|2]
2036→2037[2_1|2]
2037→1446[1_1|2]
2037→1464[1_1|2]
2037→1485[1_1|2]
2037→1509[1_1|2]
2037→2067[2_1|2]
2037→2076[2_1|2]
2037→2088[2_1|2]
2037→2103[2_1|2]
2037→2121[2_1|2]
2037→2142[2_1|2]
2037→2166[2_1|2]
2038→2039[1_1|2]
2039→2040[0_1|2]
2040→2041[2_1|2]
2041→2042[1_1|2]
2042→2043[0_1|2]
2043→2044[2_1|2]
2044→2045[1_1|2]
2045→2046[0_1|2]
2046→2047[2_1|2]
2047→2048[1_1|2]
2048→2049[0_1|2]
2049→2050[2_1|2]
2050→2051[1_1|2]
2051→2052[0_1|2]
2052→2053[2_1|2]
2053→2054[1_1|2]
2054→2055[0_1|2]
2055→2056[2_1|2]
2056→2057[1_1|2]
2057→2058[0_1|2]
2058→2059[2_1|2]
2059→2060[1_1|2]
2060→2061[0_1|2]
2061→2062[1_1|2]
2062→2063[1_1|2]
2063→2064[2_1|2]
2064→1446[1_1|2]
2064→1464[1_1|2]
2064→1485[1_1|2]
2064→1509[1_1|2]
2064→2067[2_1|2]
2064→2076[2_1|2]
2064→2088[2_1|2]
2064→2103[2_1|2]
2064→2121[2_1|2]
2064→2142[2_1|2]
2064→2166[2_1|2]
2067→2068[1_1|2]
2068→2069[0_1|2]
2069→2070[2_1|2]
2070→2071[1_1|2]
2071→2072[0_1|2]
2072→2073[1_1|2]
2073→2074[1_1|2]
2074→2075[2_1|2]
2075→1467[1_1|2]
2075→1488[1_1|2]
2075→1512[1_1|2]
2075→2204[2_1|2]
2075→2213[2_1|2]
2075→2225[2_1|2]
2075→2240[2_1|2]
2075→2258[2_1|2]
2075→2279[2_1|2]
2075→2303[2_1|2]
2076→2077[1_1|2]
2077→2078[0_1|2]
2078→2079[2_1|2]
2079→2080[1_1|2]
2080→2081[0_1|2]
2081→2082[2_1|2]
2082→2083[1_1|2]
2083→2084[0_1|2]
2084→2085[1_1|2]
2085→2086[1_1|2]
2086→2087[2_1|2]
2087→1467[1_1|2]
2087→1488[1_1|2]
2087→1512[1_1|2]
2087→2204[2_1|2]
2087→2213[2_1|2]
2087→2225[2_1|2]
2087→2240[2_1|2]
2087→2258[2_1|2]
2087→2279[2_1|2]
2087→2303[2_1|2]
2088→2089[1_1|2]
2089→2090[0_1|2]
2090→2091[2_1|2]
2091→2092[1_1|2]
2092→2093[0_1|2]
2093→2094[2_1|2]
2094→2095[1_1|2]
2095→2096[0_1|2]
2096→2097[2_1|2]
2097→2098[1_1|2]
2098→2099[0_1|2]
2099→2100[1_1|2]
2100→2101[1_1|2]
2101→2102[2_1|2]
2102→1467[1_1|2]
2102→1488[1_1|2]
2102→1512[1_1|2]
2102→2204[2_1|2]
2102→2213[2_1|2]
2102→2225[2_1|2]
2102→2240[2_1|2]
2102→2258[2_1|2]
2102→2279[2_1|2]
2102→2303[2_1|2]
2103→2104[1_1|2]
2104→2105[0_1|2]
2105→2106[2_1|2]
2106→2107[1_1|2]
2107→2108[0_1|2]
2108→2109[2_1|2]
2109→2110[1_1|2]
2110→2111[0_1|2]
2111→2112[2_1|2]
2112→2113[1_1|2]
2113→2114[0_1|2]
2114→2115[2_1|2]
2115→2116[1_1|2]
2116→2117[0_1|2]
2117→2118[1_1|2]
2118→2119[1_1|2]
2119→2120[2_1|2]
2120→1467[1_1|2]
2120→1488[1_1|2]
2120→1512[1_1|2]
2120→2204[2_1|2]
2120→2213[2_1|2]
2120→2225[2_1|2]
2120→2240[2_1|2]
2120→2258[2_1|2]
2120→2279[2_1|2]
2120→2303[2_1|2]
2121→2122[1_1|2]
2122→2123[0_1|2]
2123→2124[2_1|2]
2124→2125[1_1|2]
2125→2126[0_1|2]
2126→2127[2_1|2]
2127→2128[1_1|2]
2128→2129[0_1|2]
2129→2130[2_1|2]
2130→2131[1_1|2]
2131→2132[0_1|2]
2132→2133[2_1|2]
2133→2134[1_1|2]
2134→2135[0_1|2]
2135→2136[2_1|2]
2136→2137[1_1|2]
2137→2138[0_1|2]
2138→2139[1_1|2]
2139→2140[1_1|2]
2140→2141[2_1|2]
2141→1467[1_1|2]
2141→1488[1_1|2]
2141→1512[1_1|2]
2141→2204[2_1|2]
2141→2213[2_1|2]
2141→2225[2_1|2]
2141→2240[2_1|2]
2141→2258[2_1|2]
2141→2279[2_1|2]
2141→2303[2_1|2]
2142→2143[1_1|2]
2143→2144[0_1|2]
2144→2145[2_1|2]
2145→2146[1_1|2]
2146→2147[0_1|2]
2147→2148[2_1|2]
2148→2149[1_1|2]
2149→2150[0_1|2]
2150→2151[2_1|2]
2151→2152[1_1|2]
2152→2153[0_1|2]
2153→2154[2_1|2]
2154→2155[1_1|2]
2155→2156[0_1|2]
2156→2157[2_1|2]
2157→2158[1_1|2]
2158→2159[0_1|2]
2159→2160[2_1|2]
2160→2161[1_1|2]
2161→2162[0_1|2]
2162→2163[1_1|2]
2163→2164[1_1|2]
2164→2165[2_1|2]
2165→1467[1_1|2]
2165→1488[1_1|2]
2165→1512[1_1|2]
2165→2204[2_1|2]
2165→2213[2_1|2]
2165→2225[2_1|2]
2165→2240[2_1|2]
2165→2258[2_1|2]
2165→2279[2_1|2]
2165→2303[2_1|2]
2166→2167[1_1|2]
2167→2168[0_1|2]
2168→2169[2_1|2]
2169→2170[1_1|2]
2170→2171[0_1|2]
2171→2172[2_1|2]
2172→2173[1_1|2]
2173→2174[0_1|2]
2174→2175[2_1|2]
2175→2176[1_1|2]
2176→2177[0_1|2]
2177→2178[2_1|2]
2178→2179[1_1|2]
2179→2180[0_1|2]
2180→2181[2_1|2]
2181→2182[1_1|2]
2182→2183[0_1|2]
2183→2184[2_1|2]
2184→2185[1_1|2]
2185→2186[0_1|2]
2186→2187[2_1|2]
2187→2188[1_1|2]
2188→2189[0_1|2]
2189→2190[1_1|2]
2190→2191[1_1|2]
2191→2192[2_1|2]
2192→1467[1_1|2]
2192→1488[1_1|2]
2192→1512[1_1|2]
2192→2204[2_1|2]
2192→2213[2_1|2]
2192→2225[2_1|2]
2192→2240[2_1|2]
2192→2258[2_1|2]
2192→2279[2_1|2]
2192→2303[2_1|2]
2204→2205[1_1|2]
2205→2206[0_1|2]
2206→2207[2_1|2]
2207→2208[1_1|2]
2208→2209[0_1|2]
2209→2210[1_1|2]
2210→2211[1_1|2]
2211→2212[2_1|2]
2212→1491[1_1|2]
2212→1515[1_1|2]
2212→2331[2_1|2]
2212→2340[2_1|2]
2212→2352[2_1|2]
2212→2367[2_1|2]
2212→2385[2_1|2]
2212→2406[2_1|2]
2212→2430[2_1|2]
2213→2214[1_1|2]
2214→2215[0_1|2]
2215→2216[2_1|2]
2216→2217[1_1|2]
2217→2218[0_1|2]
2218→2219[2_1|2]
2219→2220[1_1|2]
2220→2221[0_1|2]
2221→2222[1_1|2]
2222→2223[1_1|2]
2223→2224[2_1|2]
2224→1491[1_1|2]
2224→1515[1_1|2]
2224→2331[2_1|2]
2224→2340[2_1|2]
2224→2352[2_1|2]
2224→2367[2_1|2]
2224→2385[2_1|2]
2224→2406[2_1|2]
2224→2430[2_1|2]
2225→2226[1_1|2]
2226→2227[0_1|2]
2227→2228[2_1|2]
2228→2229[1_1|2]
2229→2230[0_1|2]
2230→2231[2_1|2]
2231→2232[1_1|2]
2232→2233[0_1|2]
2233→2234[2_1|2]
2234→2235[1_1|2]
2235→2236[0_1|2]
2236→2237[1_1|2]
2237→2238[1_1|2]
2238→2239[2_1|2]
2239→1491[1_1|2]
2239→1515[1_1|2]
2239→2331[2_1|2]
2239→2340[2_1|2]
2239→2352[2_1|2]
2239→2367[2_1|2]
2239→2385[2_1|2]
2239→2406[2_1|2]
2239→2430[2_1|2]
2240→2241[1_1|2]
2241→2242[0_1|2]
2242→2243[2_1|2]
2243→2244[1_1|2]
2244→2245[0_1|2]
2245→2246[2_1|2]
2246→2247[1_1|2]
2247→2248[0_1|2]
2248→2249[2_1|2]
2249→2250[1_1|2]
2250→2251[0_1|2]
2251→2252[2_1|2]
2252→2253[1_1|2]
2253→2254[0_1|2]
2254→2255[1_1|2]
2255→2256[1_1|2]
2256→2257[2_1|2]
2257→1491[1_1|2]
2257→1515[1_1|2]
2257→2331[2_1|2]
2257→2340[2_1|2]
2257→2352[2_1|2]
2257→2367[2_1|2]
2257→2385[2_1|2]
2257→2406[2_1|2]
2257→2430[2_1|2]
2258→2259[1_1|2]
2259→2260[0_1|2]
2260→2261[2_1|2]
2261→2262[1_1|2]
2262→2263[0_1|2]
2263→2264[2_1|2]
2264→2265[1_1|2]
2265→2266[0_1|2]
2266→2267[2_1|2]
2267→2268[1_1|2]
2268→2269[0_1|2]
2269→2270[2_1|2]
2270→2271[1_1|2]
2271→2272[0_1|2]
2272→2273[2_1|2]
2273→2274[1_1|2]
2274→2275[0_1|2]
2275→2276[1_1|2]
2276→2277[1_1|2]
2277→2278[2_1|2]
2278→1491[1_1|2]
2278→1515[1_1|2]
2278→2331[2_1|2]
2278→2340[2_1|2]
2278→2352[2_1|2]
2278→2367[2_1|2]
2278→2385[2_1|2]
2278→2406[2_1|2]
2278→2430[2_1|2]
2279→2280[1_1|2]
2280→2281[0_1|2]
2281→2282[2_1|2]
2282→2283[1_1|2]
2283→2284[0_1|2]
2284→2285[2_1|2]
2285→2286[1_1|2]
2286→2287[0_1|2]
2287→2288[2_1|2]
2288→2289[1_1|2]
2289→2290[0_1|2]
2290→2291[2_1|2]
2291→2292[1_1|2]
2292→2293[0_1|2]
2293→2294[2_1|2]
2294→2295[1_1|2]
2295→2296[0_1|2]
2296→2297[2_1|2]
2297→2298[1_1|2]
2298→2299[0_1|2]
2299→2300[1_1|2]
2300→2301[1_1|2]
2301→2302[2_1|2]
2302→1491[1_1|2]
2302→1515[1_1|2]
2302→2331[2_1|2]
2302→2340[2_1|2]
2302→2352[2_1|2]
2302→2367[2_1|2]
2302→2385[2_1|2]
2302→2406[2_1|2]
2302→2430[2_1|2]
2303→2304[1_1|2]
2304→2305[0_1|2]
2305→2306[2_1|2]
2306→2307[1_1|2]
2307→2308[0_1|2]
2308→2309[2_1|2]
2309→2310[1_1|2]
2310→2311[0_1|2]
2311→2312[2_1|2]
2312→2313[1_1|2]
2313→2314[0_1|2]
2314→2315[2_1|2]
2315→2316[1_1|2]
2316→2317[0_1|2]
2317→2318[2_1|2]
2318→2319[1_1|2]
2319→2320[0_1|2]
2320→2321[2_1|2]
2321→2322[1_1|2]
2322→2323[0_1|2]
2323→2324[2_1|2]
2324→2325[1_1|2]
2325→2326[0_1|2]
2326→2327[1_1|2]
2327→2328[1_1|2]
2328→2329[2_1|2]
2329→1491[1_1|2]
2329→1515[1_1|2]
2329→2331[2_1|2]
2329→2340[2_1|2]
2329→2352[2_1|2]
2329→2367[2_1|2]
2329→2385[2_1|2]
2329→2406[2_1|2]
2329→2430[2_1|2]
2331→2332[1_1|2]
2332→2333[0_1|2]
2333→2334[2_1|2]
2334→2335[1_1|2]
2335→2336[0_1|2]
2336→2337[1_1|2]
2337→2338[1_1|2]
2338→2339[2_1|2]
2339→1518[1_1|2]
2340→2341[1_1|2]
2341→2342[0_1|2]
2342→2343[2_1|2]
2343→2344[1_1|2]
2344→2345[0_1|2]
2345→2346[2_1|2]
2346→2347[1_1|2]
2347→2348[0_1|2]
2348→2349[1_1|2]
2349→2350[1_1|2]
2350→2351[2_1|2]
2351→1518[1_1|2]
2352→2353[1_1|2]
2353→2354[0_1|2]
2354→2355[2_1|2]
2355→2356[1_1|2]
2356→2357[0_1|2]
2357→2358[2_1|2]
2358→2359[1_1|2]
2359→2360[0_1|2]
2360→2361[2_1|2]
2361→2362[1_1|2]
2362→2363[0_1|2]
2363→2364[1_1|2]
2364→2365[1_1|2]
2365→2366[2_1|2]
2366→1518[1_1|2]
2367→2368[1_1|2]
2368→2369[0_1|2]
2369→2370[2_1|2]
2370→2371[1_1|2]
2371→2372[0_1|2]
2372→2373[2_1|2]
2373→2374[1_1|2]
2374→2375[0_1|2]
2375→2376[2_1|2]
2376→2377[1_1|2]
2377→2378[0_1|2]
2378→2379[2_1|2]
2379→2380[1_1|2]
2380→2381[0_1|2]
2381→2382[1_1|2]
2382→2383[1_1|2]
2383→2384[2_1|2]
2384→1518[1_1|2]
2385→2386[1_1|2]
2386→2387[0_1|2]
2387→2388[2_1|2]
2388→2389[1_1|2]
2389→2390[0_1|2]
2390→2391[2_1|2]
2391→2392[1_1|2]
2392→2393[0_1|2]
2393→2394[2_1|2]
2394→2395[1_1|2]
2395→2396[0_1|2]
2396→2397[2_1|2]
2397→2398[1_1|2]
2398→2399[0_1|2]
2399→2400[2_1|2]
2400→2401[1_1|2]
2401→2402[0_1|2]
2402→2403[1_1|2]
2403→2404[1_1|2]
2404→2405[2_1|2]
2405→1518[1_1|2]
2406→2407[1_1|2]
2407→2408[0_1|2]
2408→2409[2_1|2]
2409→2410[1_1|2]
2410→2411[0_1|2]
2411→2412[2_1|2]
2412→2413[1_1|2]
2413→2414[0_1|2]
2414→2415[2_1|2]
2415→2416[1_1|2]
2416→2417[0_1|2]
2417→2418[2_1|2]
2418→2419[1_1|2]
2419→2420[0_1|2]
2420→2421[2_1|2]
2421→2422[1_1|2]
2422→2423[0_1|2]
2423→2424[2_1|2]
2424→2425[1_1|2]
2425→2426[0_1|2]
2426→2427[1_1|2]
2427→2428[1_1|2]
2428→2429[2_1|2]
2429→1518[1_1|2]
2430→2431[1_1|2]
2431→2432[0_1|2]
2432→2433[2_1|2]
2433→2434[1_1|2]
2434→2435[0_1|2]
2435→2436[2_1|2]
2436→2437[1_1|2]
2437→2438[0_1|2]
2438→2439[2_1|2]
2439→2440[1_1|2]
2440→2441[0_1|2]
2441→2442[2_1|2]
2442→2443[1_1|2]
2443→2444[0_1|2]
2444→2445[2_1|2]
2445→2446[1_1|2]
2446→2447[0_1|2]
2447→2448[2_1|2]
2448→2449[1_1|2]
2449→2450[0_1|2]
2450→2451[2_1|2]
2451→2452[1_1|2]
2452→2453[0_1|2]
2453→2454[1_1|2]
2454→2455[1_1|2]
2455→2456[2_1|2]
2456→1518[1_1|2]